ePMC

Benchmark
Model:eajs v.1 (MDP)
Parameter(s)N = 5, energy_capacity = 250, B = 11
Property:ExpUtil (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files eajs.5.prism --model-input-type prism --property-input-files eajs.props --property-input-names ExpUtil --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const energy_capacity=250,B=11
Execution
Walltime:20.27935266494751s
Return code:1
Log
assertions-disabled
start-parsing
done-parsing
STDERR
line: 1, column: 11: Unexpected character "^"